$\forall$$i$:Id, ${\it da}$:$k$:\{$k$:Knd$\mid$ $\uparrow$hasloc($k$;$i$)\}  fp$\rightarrow$ :Type\{i\} $\times$ Top. normal{-}ma{-}da\{i:l\}(${\it da}$) $\in$ $\mathbb{P}$\{i'\}